A Logic of Motion
نویسندگان
چکیده
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about moving objects. In this paper, we propose a formal logic of motion (LOM for short). We provide a formal syntax for LOM, as well as a model theory for LOM. In addition, we develop algorithms to check consistency of LOM theories, as well as to answer certain kinds of queries posed to LOM theories. We have implemented these algorithms in a prototype LOM system we describe experiments showing that such queries can be efficiently executed in practice.
منابع مشابه
Fuzzy Motion Control for Wheeled Mobile Robots in Real-Time
Due to various advantages of Wheeled Mobile Robots (WMRs), many researchers have focused to solve their challenges. The automatic motion control of such robots is an attractive problem and is one of the issues which should carefully be examined. In the current paper, the trajectory tracking problem of WMRs which are actuated by two independent electrical motors is deliberated. To this end, and ...
متن کاملA study on the accuracy of motion tracking of thoracic tumors at radiotherapy with external surrogates
Introduction: In radiotherapy with external surrogates, exact information of tumor position is one of the key factors that improves treatment delivery. Many dynamic tumors in thorax region of patient move mainly due to respiration and are known as intra-fractional motion error that must be compensated, as well. One of clinical strategy is using Stereotactic Body Radiation Thera...
متن کاملDynamical formation control of wheeled mobile robots based on fuzzy logic
In this paper, the important formation control problem of nonholonomic wheeled mobile robots is investigated via a leader-follower strategy. To this end, the dynamics model of the considered wheeled mobile robot is derived using Lagrange equations of motion. Then, using ADAMS multi-body simulation software, the obtained dynamics of the wheeled system in MATLAB software is verified. After that, ...
متن کاملDynamic MLC Tracking Using 4D Lung Tumor Motion Modelling and EPID Feedback
Background: Respiratory motion causes thoracic movement and reduces targeting accuracy in radiotherapy. Objective: This study proposes an approach to generate a model to track lung tumor motion by controlling dynamic multi-leaf collimators. Material and Methods: All slices which contained tumor were contoured in the 4D-CT images for...
متن کاملFuzzy Sliding Mode for Spacecraft Formation Control in Eccentric Orbits
The problem of relative motion control for spacecraft formation flying in eccentric orbits is considered in this paper. Due to the presence of nonlinear dynamics and external disturbances, a robust fuzzy sliding mode controller is developed. The slopes of sliding surfaces of the conventional sliding mode controller are tuned according to error states using a fuzzy logic and reach the pre-define...
متن کاملA Fall Detection System based on the Type II Fuzzy Logic and Multi-Objective PSO Algorithm
The Elderly health is an important and noticeable issue; since these people are priceless resources of experience in the society. Elderly adults are more likely to be severely injured or to die following falls. Hence, fast detection of such incidents may even lead to saving the life of the injured person. Several techniques have been proposed lately for the fall detection of people, mostly cate...
متن کامل